# -*- mode: snippet -*-
# name: Unset Universal Lemma Under Conjunction
# --
Unset Universal Lemma Under Conjunction
